TAGs: subtract mixed numbers